منابع مشابه
Constructions of algebraic lattices
In this work we present constructions of algebraic lattices in Euclidean space with optimal center density in dimensions 2, 3, 4, 6, 8 and 12, which are rotated versions of the lattices 3n , for n = 2, 3, 4, 6, 8 and K12. These algebraic lattices are constructed through twisted canonical homomorphism via ideals of a ring of algebraic integers. Mathematical subject classification: 18B35, 94A15, ...
متن کاملSome Algebraic Definitions and Constructions
Definition 1. A monoid is a set M with an element e and an associative multiplication M×M −→ M for which e is a two-sided identity element: em = m = me for all m ∈ M . A group is a monoid in which each element m has an inverse element m, so that mm = e = mm. A homomorphism f : M −→ N of monoids is a function f such that f(mn) = f(m)f(n) and f(eM ) = eN . A “homomorphism” of any kind of algebrai...
متن کاملThe Calculus of algebraic Constructions
This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generalizes inductive types equipped with higher-order primitive recursion, by providing definitions of functions by patternmatching which capture recursor definitions for arbitrary non-dependent and non-polymorphic inductive t...
متن کاملAlgebraic constructions on set partitions
The main contribution of this article is to provide a combinatorial Hopf algebra on set partitions, which can be seen as a Hopf subalgebra of the free quasi-symmetric functions, and which is free, cofree and self-dual. This algebraic construction comes naturally from a combinatorial algorithm, an analogous of the Robinson-Schensted correspondence on set partitions. This correspondence also give...
متن کاملProperties Preserved under Algebraic Constructions
The study of properties of algebras belongs equally to Algebra and to Metamathematics. But here we consider only questions that concern all abstract algebras, and we attempt to discuss them without invoking any unfamiliar metamathematical machinery. In consequence, we can not do justice to the many interesting matters that concern important special classes of algebraic systems, nor to the broad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1991
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90030-6